sum 2^(-k), 1 to infinity